زمان برگزاری: ۲۷ و ۲۸ بهمن ماه ۱۴۰۴
مکان: گروه هوش مصنوعی و رباتیک دانشکده مهندسی کامپیوتر دانشگاه علم و صنعت ایران
مهلت ارسال مقالات: ۳۰ آذر ۱۴۰۴
اطلاعات بیشتر: https://ialogic.ir
محورهای همایش:
رویکردهای نظری:
- منطق جدید (ریاضی و فلسفی)
- منطق سنتی
- منطق تطبیقی
- منطقهای غیرصوری
- فلسفه منطق
رویکردهای کاربردی:
- تاریخ منطق
- آموزش منطق
- فلسفهی تحلیلی و زبانی
- روششناسی علم
- تفکر انتقادی
محورهای بخش ویژه:
منطق در هوش مصنوعی:
- منطق در سیستمهای خودمختار
- مدلسازی تعاملات انسانی-رباتی با رویکرد منطقی
- منطقهای غیرکلاسیک در یادگیری ماشین
- هوش مصنوعی توضیحپذیر (تلفیق منطق و یادگیری عمیق)
- منطقهای توصیفی و بازنمایی دانش
- منطق و وب معنایی
- استدلالورزی چندعاملی
- هوش مولد استدلالگر
- خوانش استدلالی ماشینی
- تفکر ماشینی
- منطق برای سیستمهای اخلاقیمحور و حقوقیمحور هوش مصنوعی
- اعتبارسنجی و راستیآزمایی سیستمهای هوش مصنوعی با ابزارهای منطقی
- کاربرد منطقهای توسعهیافته (موجهات، زمان، معرفت، پویا، پیشفرض و …) در محیطهای پویا
دبیران علمی همایش:
- بهروز مینایی بیدگلی
- نازنین روشندل توانا
اعضای کمیته علمی (به ترتیب حروف الفبا):
- اردشیر لاریجانی، ابراهیم (دانشگاه علم و صنعت)
- اسلامی، اسفندیار (دانشگاه شهید باهنر کرمان)
- امیرخانی، مهناز (دانشگاه الزهرا)
- بهرامی، سعیده (پژوهشگاه دانشهای بنیادی)
- حسینی، سیدحسن (دانشگاه صنعتی شریف)
- دستافشان، علیرضا (پژوهشگر و مدرس فلسفه تحلیلی)
- روشندل توانا، نازنین (دانشگاه صنعتی امیر کبیر)
- سراجی، پیام (خانه ریاضیات اصفهان)
- علائیان، مهدی (دانشگاه علم و صنعت)
- قاری، مقداد (دانشگاه اصفهان)
- مزینی، ناصر (دانشگاه علم و صنعت)
- مینایی بیدگلی، بهروز (دانشگاه علم و صنعت)
